Semantics of programming languages - PDFSEARCH.IO - Document Search Engine

Semantics of programming languages
Results: 156

#	Item
61	Microsoft Word - uclg2013.doc Add to Reading List Source URL: home.uchicago.edu Language: English - Date: 2013-10-02 14:37:41 Programming paradigms Applied mathematics Denotational semantics Computing Algorithm Computer Parallel computing Distributed computing Semantics of programming languages Theoretical computer science Logic in computer science Computer science
62	UNIVERSITY OF CAMBRIDGE COMPUTER LABORATORY Part IA: Structure of Papers 1 and 2 in 2015 Paper 1 Section A Attempt 1 question Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2015-04-13 06:49:04 Programming paradigms Applied mathematics Denotational semantics Computing Algorithm Computer Parallel computing Distributed computing Semantics of programming languages Theoretical computer science Logic in computer science Computer science
63	A Categorical Programming Language Tatsuya Hagino Doctor of Philosophy University of Edinburgh Add to Reading List Source URL: synrc.com Language: English - Date: 2009-05-27 23:02:29 Mathematics Type theory Functional programming Category theory Logic in computer science Denotational semantics Initial algebra Semantics of programming languages F-algebra Software engineering Theoretical computer science Data types
64	An Operational Semantics for JavaScript Sergio Maffeis1 , John C. Mitchell2 , Ankur Taly2 , 1 2 Department of Computing, Imperial College London Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2010-03-09 22:02:41 Scripting languages Cross-platform software Type theory Data types Functional programming JavaScript Operational semantics ECMAScript Type system Software engineering Computing Computer programming
65	CDAT Refresher  Author: Charles Doutriaux  February 5th, 2010  Outline  •  Add to Reading List Source URL: www2-pcmdi.llnl.gov Language: English - Date: 2010-02-05 17:07:37 Scripting languages Python Printf format string Python syntax and semantics Comparison of programming languages Software engineering Computing Computer programming
66	Web 2.0 and the Isolation Problem Case Study : FBJS Formal Semantics of JavaScript Achieving the Isolation goal Ongoing Language Based isolation of Untrusted JavaScript Ankur Taly Add to Reading List Source URL: w2spconf.com Language: English - Date: 2012-02-07 16:10:05 JavaScript Software engineering Computer programming Web 2.0 Computing Cross-platform software Scripting languages
67	Consistent Query Answering in Databases∗ Leopoldo Bertossi Carleton University School of Computer Science Ottawa, Canada. Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-07-04 06:02:49 Data Query languages Database management systems Logic programming Logic Conjunctive query SQL Stable model semantics Data integration Data management Computing Database theory
68	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Mechanized semantics for the Clight subset of the C language Sandrine Blazy · Xavier Leroy Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2009-07-17 05:14:09 C programming language C++ Procedural programming languages Data types Programming language semantics Sizeof Pointer C++ classes C Software engineering Computing Computer programming
69	Integrated Program Debugging, Verification, and Optimization Using Abstract Interpretation (and The Ciao System Preprocessor) Manuel V. Hermenegildo a,b Germ´an Puebla a Francisco Bueno a Pedro L´opez-Garc´ıa a Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2005-07-26 16:47:43 Theoretical computer science Formal methods Semantics Abstract interpretation Formal languages Model theory Prolog Semantics of programming languages Programming language Software engineering Computing Logic in computer science
70	Contrasting Exceptions and Continuations Hayo Thielecke School of Computer Science University of Birmingham Birmingham B15 2TT Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2001-10-19 09:34:25 Functional languages Procedural programming languages Control flow Lisp programming language Subroutines Continuation Operational semantics Exception handling Standard ML Software engineering Computing Computer programming

UPDATE